ilXt~OS~QCtiVQ bQliQf
نویسنده
چکیده
Autoepistemic (AE) logic is a formal system characterizing agents that have complete introspective access to their own beliefs. AE logic relies on a fixed point definition that has two significant parts. The first part is a set of assumptions or hypotheses about the contents of the fixed point. The second part is a set of reflection principles that link sentences with statements about their provability. We characterize a family of ideal AE reasoners in terms of the minimal hypotheses that they can make, and the weakest and strongest reflection principles that they can have, while still maintaining the interpretation of AE logic as self-belief. These results can help in analyzing metatheoretic systems in logic programming.
منابع مشابه
The effects of whole green tea infusion on mouse urinary bladder chemical carcinogenesis
Objective(s):Green tea (GT) is one of the most popular beverages worldwide whose beneficial effects on health have been demonstrated. Recent studies suggest that GT may contribute to reduction of cancer risk and progression. The aim of this study was to evaluate the effects of whole GT on urinary bladder chemical carcinogenesis in male and female ICR mice. Materials and Methods: The GT charact...
متن کاملQuantum Mechanical Calculations of Photovoltaic and Photoelectronic Properties of Oligoselenophene/Fullerene BHJ Solar Cells
To model the active layer in the hetero-junction solar cells, the C60, C70, PC60BM, PCBDAN fullerenes as acceptor, and (OS)n=1) oligoselenophenes as donor were considered. The (OS)n=14/C60, (OS)n=14/C70, (OS)n=14/PC60BM, and (OS)n=14/PCBDAN blends as a model of the active layer in the BHJ solar cell were chosen, and the optoelectronic properties were studied. The calculated efficiency of these ...
متن کاملI-15: Effects of Oxidative Stress on Sperm Function
Semen analysis is the frontline and old reliable test in the assessment of male fertility, but it failed to provide absolute prediction of sperm function and its fertilizing ability. A wide variety of internal and external factors affect sperm function without discernible and significant effects on semen analysis. Oxygen toxicity and oxidative stress (OS) are inherent challenge of living cells ...
متن کاملSupernatants From Human Osteosarcoma Cultured Cell Lines Induce Modifications in Growth and Differentiation of THP-1 Cells and Phosphoinositide- Specific Phospholipase C Enzymes
Introduction: Introduction: Molecular components within the microenvironment act upon cell growth, survival/apoptosis, and proliferation. Immune system cells respond to molecules produced by the tumor and released in the surrounding microenvironment, such as cytokines, chemokines, and growth factors. This study aimed to identify the effects of tumor environment on monocyte-macrophage cell linea...
متن کامل